- conditioned disjunction
- условная дизъюнкция
English-Russian dictionary of computer science and programming. 2013.
conditioned disjunction
Смотреть что такое "conditioned disjunction" в других словарях:
Conditioned disjunction — In logic, conditioned disjunction (sometimes called conditional disjunction) is a ternary logical connective introduced by Church.[1]. Given operands p, q, and r, which represent truth valued propositions, the meaning of the conditioned… … Wikipedia
Conditional disjunction — In logic, the term conditional disjunction can refer to: conditioned disjunction, a ternary logical connective introduced by Alonzo Church; a rule in classical logic that the material conditional ¬p → q is equivalent to the disjunction p ∨ q, so… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Anekantavada — Part of a series on Jain philosophy Concepts Anekāntavāda · Syādvāda · Nayavāda · … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
Hellenistic biological sciences — R.J.Kankinson The five centuries that separate Aristotle’s death in 322 BC from Galen’s ascendancy in Rome in the latter part of the second century AD were fertile ones for the biological sciences, in particular medicine. Nor is the period solely … History of philosophy
Anti-realism — In philosophy, the term anti realism is used to describe anyposition involving either the denial of an objective reality of entities of a certain type or the denial that verification transcendent statements about a type of entity are either true… … Wikipedia
Postmodernity — (also spelled post modernity or the pejorative postmodern condition) is generally used to describe the economic and/or cultural state or condition of society which is said to exist after modernity. Some schools of thought hold that modernity… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
